You have chosen Stilpo, Arend Heyting and Stilpo.
All three must be different; choose another philosopher.